Strategic Port Graph Rewriting for Autonomic Computing
نویسندگان
چکیده
In this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We show that this formalism is suitable for modeling autonomic systems and we illustrate its expressivity for modeling properties of such systems using an example of a mail delivery system.
منابع مشابه
A Higher-Order Graph Calculus for Autonomic Computing
In this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We argue that this formalism is suitable for modeling autonomic systems and briefly illustrate its expressivity for modeling properties of such systems.
متن کاملStrategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework
We present strategic port graph rewriting as a basis for the implementation of visual modelling and analysis tools. The goal is to facilitate the specification, analysis and simulation of complex systems, using port graphs. A system is represented by an initial graph and a collection of graph rewriting rules, together with a user-defined strategy to control the application of rules. The strateg...
متن کاملA Port Graph Calculus for Autonomic Computing and Invariant Verification
From our previous work on biochemical applications, the structure of port graph (or multigraph with ports) and a rewriting calculus have proved to be well-suited formalisms for modeling interactions between proteins. Then port graphs have been proposed as a formal model for distributed resources and grid infrastructures, where each resource is modeled by a node with ports. The lack of global in...
متن کاملAttributed Hierarchical Port Graphs and Applications
We present attributed hierarchical port graphs (AHP) as an extension of port graphs that aims at facilitating the design of modular port graph models for complex systems. AHP consist of a number of interconnected layers, where each layer defines a port graph whose nodes may link to layers further down the hierarchy; attributes are used to store user-defined data as well as visualisation and run...
متن کاملGraph Models for Capital Markets
The financial crisis of 2008 has heightened the need for more effective and transparent tools in the modelling of capital markets. In this paper we propose to use strategic port-graph rewriting (a particular kind of graph transformation system, where port-graph rewriting rules are controlled by user-defined strategies) as a visual modelling tool to analyse credit derivative markets. We illustra...
متن کامل